Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
251	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2012-01-16 12:25:28 Lambda calculus Combinatory logic Logic in computer science
252	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
253	A General System for Learning and Reasoning in Symbolic Domains Claes Stranneg˚ard1 , Abdul Rahim Nizamani2 , and Ulf Persson3 1 Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Add to Reading List Source URL: agi-conf.org Language: English - Date: 2014-08-18 09:36:06 Logic in computer science Functions and mappings Lambda calculus Function Combinatory logic Aterm Axiom Algorithm Ordinal number Mathematics Mathematical logic Logic
254	Graeme Forbes T1 .2 On Some Examples of Chomsky’s Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2007-01-18 00:59:41 Formal languages Semantics Predicate logic Lambda calculus Combinatory logic Interpretation Categorial grammar Formal grammar FO Logic Mathematical logic Theoretical computer science
255	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic
256	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-19 09:57:02 Compiler construction Formal languages LL parser Dependency grammar Linear programming Parse tree Conditional random field Combinatory logic Directed graph Mathematics Graph theory Theoretical computer science
257	Generalized Sparselets Computational Cost Analysis (Supplementary Material) Ross Girshick Hyun Oh Song Trevor Darrell Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-01 18:04:34 Function FO Median graph Combinatory logic Mathematics Theoretical computer science Mathematical logic
258	Stochastic λ-Calculi Dana S. Scott University Professor, Emeritus Carnegie Mellon University Visiting Scholar in Mathematics Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-08-27 15:54:05 Boolean algebra Forcing Metalogic Lambda calculus Boolean-valued model Constructible universe FO Model theory Combinatory logic Mathematical logic Mathematics Theoretical computer science
259	Noname manuscript No. (will be inserted by the editor) Tool Support for Refinement of Non-functional Specifications Simone R¨ottger, Steffen Zschaler Technische Universit¨at Dresden Add to Reading List Source URL: www.steffen-zschaler.de Language: English - Date: 2007-04-16 11:33:34 Information integration theory Social psychology Architecture description language Monad Systems engineering Model-driven architecture Vienna Development Method Combinatory logic Software engineering Design Cognition
260	/home/mszudzik/files/WRI/Archives/WRI2006/NKS2006/ElegantPairing/ElegantPairing.nb Add to Reading List Source URL: szudzik.com Language: English - Date: 2013-07-31 11:11:48 Combinatory logic Logic in computer science Pairing function Function Mathematical logic Mathematics Lambda calculus

UPDATE